res: Listing<String(!isEmpty)> = new Listing<String(endsWith("ga"))> {
  "hola"
}
